| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| exprmntl.zip | PKZip Archive | 1 | 529KB | 1994-10-21 |
| goedel.zip | PKZip Archive | 1 | 5MB | 1994-10-21 |
| gurr_doc.zip | PKZip Archive | 4 | 255KB | 1994-10-21 |
| jwl_pprs.zip | PKZip Archive | 1 | 95KB | 1994-10-21 |
| latest.zip | PKZip Archive | 1 | 4MB | 1994-10-21 |
| related.zip | PKZip Archive | 1 | 91KB | 1994-10-21 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| readme | Text File | 47 | 1KB | 1994-10-21 |